A-normal form - PDFSEARCH.IO - Document Search Engine

A-normal form
Results: 190

#	Item
101	Trimming while Checking Clausal Proofs Marijn J.H. Heule, Warren A. Hunt, Jr., and Nathan Wetzler The University of Texas at Austin Abstract—Conflict-driven clause learning (CDCL) satisfiability solvers can emit more t Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-01-02 11:58:01 Unsatisfiable core Conjunctive normal form Resolution Five lemma Theorem Logic programming Unit propagation Automated proof checking Boolean satisfiability problem Logic Mathematics Automated theorem proving
102	Ann Math Artif Intell DOI[removed]s10472[removed]A unifying learning framework for building artificial game-playing agents Wenlin Chen · Yixin Chen · David K. Levine Add to Reading List Source URL: levine.sscnet.ucla.edu Language: English - Date: 2015-02-11 05:55:08 Science Best response Normal-form game Nash equilibrium Repeated game Strategy Reinforcement learning Machine learning Outcome Game theory Problem solving Economics
103	MECHANISM DESIGN BY AN INFORMED PRINCIPAL: THE QUASI-LINEAR PRIVATE-VALUES CASE ¨ TYMOFIY MYLOVANOV AND THOMAS TROGER Abstract. We show that, in environments with independent private values and transferable utility, a p Add to Reading List Source URL: federation.ens.fr Language: English - Date: 2012-12-20 07:05:51 Mechanism design Pareto efficiency Roger Myerson Principal Outcome Normal-form game Game theory Economics Problem solving
104	Blocked Clause Elimination and its Extensions Marijn J. H. Heule∗ joint work with Matti J¨arvisalo and Armin Biere Abstract Boolean satisfiability (SAT) has become a core technology in many application Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2010-11-29 08:16:51 NP-complete problems Conjunctive normal form Automated theorem proving Boolean satisfiability problem Resolution Logic programming 2-satisfiability Theoretical computer science Mathematics Applied mathematics
105	A Unified Proof System for QBF Preprocessing? Marijn J.H. Heule1 , Martina Seidl2 , and Armin Biere2 1 Department of Computer Science, The University of Texas at Austin, USA [removed] Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-07-31 09:57:45 Automated theorem proving Boolean algebra Mathematical logic Resolution True quantified Boolean formula Conjunctive normal form Limit Literal Model theory Mathematics Logic Theoretical computer science
106	MIT EECS[removed]FALL[removed]LECTURE NOTES BY A. MEGRETSKI Add to Reading List Source URL: web.mit.edu Language: English - Date: 2009-09-13 22:35:19 Linear map Vector space Matrix Bilinear map Basis Operator Quadratic form Normal distribution Singular value decomposition Algebra Mathematics Linear algebra
107	GRETCHEN OSTHEIMER, Hofstra University Groups with logspace normal forms We consider the class of finitely generated groups which have a normal form computable in logspace. We prove that the class of such groups is close Add to Reading List Source URL: cms.math.ca - Date: 2013-11-01 08:38:05
108	Limited Rationality and Strategic Interaction: A Probabilistic Multi-Agent Model Yves Ortiz and Martin Schüle Working Paper[removed]This discussion paper series represents research work-in-progress and is distributed wit Add to Reading List Source URL: www.szgerzensee.ch Language: English - Date: 2011-11-17 10:01:38 Outcome Cellular automaton Normal-form game Strategic complements Economics Game theory Problem solving Best response
109	Symmetries and the Complexity of Pure Nash Equilibrium Felix Brandt a Felix Fischer a,∗ Add to Reading List Source URL: dss.in.tum.de Language: English - Date: 2010-10-13 06:04:12 Gaming Symmetric game Nash equilibrium Best response Normal-form game Outcome Strategy Solution concept Matching pennies Game theory Problem solving Decision theory
110	Equilibria of Graphical Games with SymmetriesI Felix Brandta , Felix Fischer∗,b , Markus Holzerc a Institut f¨ ur Informatik, Ludwig-Maximilians-Universit¨ Add to Reading List Source URL: dss.in.tum.de Language: English - Date: 2010-10-13 06:04:06 Gaming Symmetric game Nash equilibrium Best response Outcome Normal-form game Strategy Solution concept Graphical game theory Game theory Problem solving Decision theory

UPDATE